| Home :: Operating Systems :: Microkernel |
PETROS By Trumpet Software International, 32-bit microkernel OS for x86 PCs coded in Object Pascal variant. Built from first principles to focus on small size, modularity, and be fully compatible with Win32 and industry standards; reads FAT-12/16/32. Low cost; free time-locked demo. http://www.petros-project.com/ dr'ex: SourceForge Information, news, forum, CVS, downloads. [Open Source, GPL] http://sourceforge.net/projects/drex/ VSTa wiki Community of developers and users of VSTa. http://www.vsta.org:8080/ MK++ Mach compatible microkernel; gives one code base able to support high assurance, scalability, realtime, distribution, SMP, fault handling, performance; all built in an object-oriented B3 evaluable fashion. http://www.opengroup.org/RI/technologies/mk-dbleplus/ BSD Lites 4.4 BSD Server for Mach microkernel http://www.cs.hut.fi/~jvh/lites.html BeZilla News on this port of Mozilla http://www.bezilla.org/ |
